First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
161	Fall 2014 Undergraduate Philosophy Department Courses PHIL-UA 1; Central Problems in Philosophy; M/W 9:30-10:45; James Pryor http://intro.jimpryor.net This course is an introduction to the methods of contemporary philoso Add to Reading List Source URL: www.nyu.edu Language: English - Date: 2014-08-30 22:55:28 Logic Philosophy Mathematical logic Philosophical logic Non-classical logic Branches of philosophy Model theory Modal logic Saul Kripke First-order logic Propositional calculus Epistemic modal logic
162	On the uniform one-dimensional fragment Antti Kuusisto University of Bremen, Germany, Abstract. The uniform one-dimensional fragment of first-order logic, U1 , is a recently introduced formalism th Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2016-04-09 08:11:54
163	Learning commutativity specifications a ct * Consi se Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2015-05-29 09:22:24 Logic Model theory Mathematical logic Metalogic First-order logic Constructible universe Type NIP Structure Confidence interval Well-formed formula Linear temporal logic
164	On strong standard completeness of MTLQ ∗ expansions Amanda Vidal1 , Lluis Godo1 , and Francesc Esteva1 Artificial Intelligence Research Institute (IIIA - CSIC), Spain, [amanda][godo][esteva]@iiia.csic.es Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-05-04 03:55:14 Fuzzy logic Mathematical logic Model theory Metalogic Proof theory Monoidal t-norm logic BL ukasiewicz logic First-order logic Completeness Axiom Metamathematics
165	Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics Matthias Baaz∗ Technische Universität Wien A–1040 Vienna, Austria Add to Reading List Source URL: www.preining.info Language: English - Date: 2005-04-12 18:14:28 Logic Mathematical logic Abstraction Non-classical logic Model theory Predicate logic First-order logic Intermediate logic Many-valued logic FO Kripke semantics Fuzzy logic
166	Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes Kord Eickmeyer National Inst. of Informatics, Tokyo Add to Reading List Source URL: logic.las.tu-berlin.de Language: English - Date: 2015-06-17 12:07:41
167	MUltlog and MUltseq Reanimated and Married M. Baaz1 C.G. Ferm¨ uller1 1 Add to Reading List Source URL: www.preining.info Language: English - Date: 2005-04-12 18:14:31 Proof theory Sequent calculus Sequent First-order logic Propositional calculus Intuitionistic logic Many-valued logic Cut-elimination theorem Method of analytic tableaux Mathematical logic Rule of inference Boolean algebra
168	On weak constant domain principle in the Kripke sheaf semantics Dmitrij Skvortsov? All-Russian Institute of Scientific and Technical Information, VINITI, Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-05-18 14:28:46 Logic Mathematical logic Abstraction Predicate logic Model theory Philosophical logic Modal logic Kripke semantics First-order logic Sheaf FO Well-formed formula
169	Context Object Theory Computational Models Add to Reading List Source URL: mally.stanford.edu Language: English Logic Philosophy Abstraction Modal logic Modality Non-classical logic Philosophical logic Model theory First-order logic
170	Quantifier Elimination for quantified propositional logics on Kripke frames of type ω Matthias Baaz and Norbert Preining? Institute for Algebra and Computational Mathematics University of Technology, Vienna, Austria baa Add to Reading List Source URL: www.preining.info Language: English - Date: 2014-04-03 01:14:55 Model theory Non-classical logic Modal logic Philosophical logic Kripke semantics Sheaf theory Propositional calculus Interpretation Mathematical logic Intuitionistic logic First-order logic

UPDATE